会议报道|ZLAIRE实验室工作坊之“研究、创新与教育”

6月17日，ZLAIRE实验室工作坊之“研究、创新与教育”在杭州顺利召开，会议由浙江大学哲学学院“百人计划”研究员Bruno Bentzen博士和罗捷婷博士主持，来自浙江大学廖备水教授团队和卢森堡大学Leendert van der Torre教授团队的二十余位成员参加。会议内容包括：（1）双方团队介绍；（2）七场学术报告；（3）师生交流讨论。

ZLAIRE

  团队介绍及其学术报告

首先，廖备水教授介绍了ZLAIRE浙江大学团队成员，指明了新一代人工智能逻辑的三大研究方向：1) 机器认知与机器伦理；2)数据、知识和决策；3)多机器人实验平台和发展。Leendert van der Torre教授介绍了ZLAIRE卢森堡大学团队成员，并就人工智能和逻辑学的关系问题阐述了自己的看法。

其次是学术报告环节，卢森堡大学博士后Sana Nouzri博士作了题为《人工智能与教育》的报告，认为新时期教育应该深度融合人工智能的理念、方法和技术，人工智能的力量足以彻底改变未来的教育模式。

卢森堡大学博士研究生俞柳闻作了题为《IHiBO: 形式论辩与新一代人工智能和法律：一种基于原则的方法》的报告，介绍了基于人工输入的智能区块链Oracle，可以基于区块链的架构与形式论辩理论进行有效地结合。

浙江大学计算机学院博士研究生魏胜作了题为《可解释人工智能与基于生物信号的模式识别》的报告，介绍了一些可解释的人工智能方法和基于生物信号的模式识别方法，并探讨了基于生物信号的可解释人机交互的应用。

浙江大学计算机学院博士研究生池海霄作了题为《一种针对表格数据的基于概念和论证的可解释模型》的报告，介绍了一个基于概念和论证的模型，用于通过堆叠定量论证层进行表格数据分类。

浙江大学哲学学院博士研究生洪峥怡作了题为《情境中的隐喻理解》的报告，介绍了一种基于情境语义的逻辑，为隐喻理解过程中的信息传递提供一种可能的解释方式。它通过为每个情景分配一个独特的主题来描述不同的概念域，并通过支持情景和命题之间的关系来反映智能体的信念。

浙江大学法学院博士研究生池骁作了题为《一种基于过滤的认知图理性规则学习通用方法》的报告，提出了一种基于过滤的方法，使用多路泛化步骤从数据集中生成一组与它们的认知图一致的理性规则，并引入了一个新的函数来排除无意义的规则。

浙江大学哲学学院“百人计划”研究员Bruno Bentzen博士作了题为《数理逻辑研究交流要义》的报告，介绍了数理逻辑研究的基础知识，重点介绍了如何进行有效的论文写作和演讲。

    报告人现场报告组图

左右滑动查看更多

最后，参会成员分别介绍了自己的研究，廖备水教授认为实验室成员们需要加大投入，形成合力，共同推进学术研究的全面发展。Leendert van der Torre教授对参会人员各自的研究方向进行了评议和指导，并希望浙江大学和卢森堡大学双方能够加强交流，深化合作。

参会人员合影

拟稿：陈琛  

编辑：姚泽来

审稿：李崇慧